Compliant Business Processes with Exclusive Choices from Agent Specification
نویسندگان
چکیده
In this paper we analyse the problem of synthesising compliant business processes from rules-based declarative specifications for agents. In particular, we consider the approach by [1,2] and we propose computationally efficient algorithms to combine plans extracted from the deliberation of an agent to generate the corresponding business processes with exclusive choice patterns.
منابع مشابه
The Journey to Business Process Compliance
It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil against regulations and industry standards). This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts bu...
متن کاملA Specification and Validation Approach for Business Process Integration based on Web Services and Agents
. In this paper, we present a new approach for business processes integration. Our approach is based on interaction protocols that enable autonomous, distributed business process modules to integrate and collaborate. In our case, the business processes integration is modelled using AUML and specified using BPEL4WS. Furthermore and to increase the reliability of interaction protocols at design t...
متن کاملVerifying Compliance of Business Processes with Temporal Answer Sets
In this paper we provide a framework for the specification and the verification of business processes, which is based on a temporal extension of answer set programming (ASP) and we address the problem of verifying the compliance of business processes to norms. The logical formalism we use, is a combination of Answer Set Programming and Dynamic Linear Time Temporal Logic (DLTL), and allows for a...
متن کاملA static compliance-checking framework for business process models
Regulatory compliance of business operations is a critical problem for enterprises. As enterprises increasingly use business process management systems to automate their business processes, technologies to automatically check compliance of process models against compliance rules are becoming important. In this paper, we present a method for improving the reliability and minimizing the risk of f...
متن کاملImplementation of ebXML compliant Business Process Management System
Internet based B2C e-Commerce is flourishing, but not so much in the area of business to business. For over 20 years, EDI has established VAN based solution of exchanging business information in electronic form. However EDI solutions are only accessible to large organizations due to the cost factor. Moreover lack of well accepted B2B business process standards is hindering the success in promot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015